Generating Multilingual Proofs
نویسندگان
چکیده
This paper outlines the microplanner of PROVERB, a system that generates multilingual text from machine-found mathematical proofs. The main representational vehicle is the text structure proposed by Meteer. Following Panaget, we also distinguish between the ideational and the textual semantic categories, and use the upper model to replace the former. Based on this, a further extension is made to support aggregation before realization decisions are made. While our the framework of our macroplanner is kept language independent , our microplanner draws on language speciic linguistic sources such as realization classes and lexicon. Since English and German are the rst two languages to be generated and because the sublanguage of our mathematical domain is relatively limited, the upper model and the textual semantic categories are designed to cope with both languages. Since the work reported is still in progress, we also discuss open problems we are facing.
منابع مشابه
The Multilingual City: Vitality, Conflict, and Change, Edited by Lid King & Lorna Carson (2006), Multilingual Matters, ISBN-13 978-1-78309-477-6
متن کامل
Multilingual Lexicon, Translation and Generation for Formal Proofs A Grammar based approach
This three year PhD thesis project is conducted under the collaboration of the Logic group at Mathematics Laboratory (LAMA), Université de Savoie, France and the Language Technology group at department of Computer Science, Chalmers University of Technology, Sweden. It is co-supervised by Christophe Raffalli and Aarne Ranta. In this project, we intend to develop tools and recources capable of tr...
متن کاملNeural Architectures for Multilingual Semantic Parsing
In this paper, we address semantic parsing in a multilingual context. We train one multilingual model that is capable of parsing natural language sentences from multiple different languages into their corresponding formal semantic representations. We extend an existing sequence-to-tree model to a multi-task learning framework which shares the decoder for generating semantic representations. We ...
متن کاملMultilingual text-to-phoneme mapping
This paper introduces a novel approach for generating multilingual text-to-phoneme mappings for use in multilingual speech recognition systems. The multilingual mappings are based on the weighted outputs from a neural network text-to-phoneme model, trained on data mixed from several languages. The multilingual mappings used together with a branched grammar decoding scheme is able to capture bot...
متن کاملMultilingual Multimodal Language Processing Using Neural Networks
We live in an increasingly multilingual multimodal world where it is common to find multiple views of the same entity across modalities and languages. For example, news articles which get published in multiple languages are essentially different views of the same entity. Similarly, video, audio and multilingual subtitles are multiple views of the same movie clip. Given the proliferation of such...
متن کامل